Aller au contenu

Anneau topologique

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, un anneau topologique est un anneau muni d'une topologie compatible avec les opérations internes, c'est-à-dire telle que l'addition, l'application opposée[1] et la multiplication soient continues.

Un corps topologique est un corps muni d'une topologie qui rend continues l'addition, la multiplication et l'application inverse[2].

Ces structures étendent la notion de groupe topologique.

Topologie I-adique

[modifier | modifier le code]

Étant donné un anneau commutatif et un idéal de , la topologie -adique de est définie par la base de voisinages en chaque point de de la forme : , où décrit tous les entiers naturels.

Cette topologie fait de l'anneau un anneau topologique, qui est séparé si et seulement si l'intersection des puissances de l'idéal est réduite à l'élément nul :

.

Dans ce cas, la topologie est métrisable par une distance ultramétrique définie de la manière suivante :

pour tous éléments de ,
est la plus grande puissance de l'idéal qui contient la différence .

La topologie p-adique sur les entiers relatifs est ainsi construite avec l'idéal des multiples entiers de .

Complétion d'un anneau métrisable

[modifier | modifier le code]

Lorsqu'un anneau topologique est métrisable, les opérations s'étendent continûment (de façon unique) à sa complétion métrique, qui devient ainsi son anneau complété (en).

  1. La continuité de l'application opposée est automatiquement vérifiée si l'anneau est unitaire.
  2. Il existe toutefois des anneaux topologiques qui sont des corps sans satisfaire cette dernière condition.